15 results
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 6 / June 2019
- Published online by Cambridge University Press:
- 10 April 2019, pp. 731-732
-
- Article
-
- You have access
- Export citation
19th Workshop on Logic, Language, Information and Computation (WoLLIC 2012)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 425-426
- Print publication:
- September 2013
-
- Article
- Export citation
18th Workshop on Logic, Language, Information and Computation (Wollic 2011)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 18 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 15 January 2014, pp. 152-153
- Print publication:
- March 2012
-
- Article
- Export citation
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 17 / Issue 3 / September 2011
- Published online by Cambridge University Press:
- 15 January 2014, pp. 480-481
- Print publication:
- September 2011
-
- Article
- Export citation
15th Workshop on Logic, Language, Information and Computation (WoLLIC 2008)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 4 / December 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 550-551
- Print publication:
- December 2008
-
- Article
- Export citation
13th Workshop on Logic, Language, Information and Computation (WoLLIC '2006)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 410-411
- Print publication:
- September 2007
-
- Article
- Export citation
12th Workshop on Logic, Language, Information and Computation (WoLLIC '2005)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 4 / December 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 558-559
- Print publication:
- December 2005
-
- Article
- Export citation
11th Workshop on Logic, Language, Information and Computation (WoLLIC '2004)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 11 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 15 January 2014, pp. 120-121
- Print publication:
- March 2005
-
- Article
- Export citation
9th Workshop on Logic, Language, Information and Computation (WoLLIC '2002)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 1 / March 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 121-122
- Print publication:
- March 2003
-
- Article
- Export citation
8th Workshop on Logic, Language, Information and Computation (WoLLIC '2001)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 319-320
- Print publication:
- June 2002
-
- Article
- Export citation
7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 293-294
- Print publication:
- June 2001
-
- Article
- Export citation
5th Workshop on Logic, Language, Information and Computation (Wollic '98)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 422-423
- Print publication:
- September 1999
-
- Article
- Export citation
6th Workshop on Logic, Language, Information and Computation (Wollic '99)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 5 / Issue 3 / September 1999
- Published online by Cambridge University Press:
- 15 January 2014, pp. 424-425
- Print publication:
- September 1999
-
- Article
- Export citation
3rd Workshop on Logic, Language, Information and Computation (Wollic'96)
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, p. 374
- Print publication:
- September 1996
-
- Article
- Export citation
Extending the Curry-Howard interpretation to linear, relevant and other resource logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1365
- Print publication:
- December 1992
-
- Article
- Export citation